Computational complexity theory - PDFSEARCH.IO - Document Search Engine

Computational complexity theory
Results: 2049

#	Item
431	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
432	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2009-10-15 18:34:40 Heterodox economics Knowledge Economic theories Mathematical economics Computational economics Econophysics Complexity economics J. Barkley Rosser Jr. Agent-based computational economics Economics Science Complex systems theory
433	Sub-Logarithmic Test-and-Set Against a Weak Adversary? Dan Alistarh1 and James Aspnes2 1 2 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:33:59 Analysis of algorithms Probabilistic complexity theory Randomized algorithm Consensus Algorithm Time complexity Adversary model Logarithm Theoretical computer science Computational complexity theory Applied mathematics
434	Lower Bounds for Restricted-Use Objects James Aspnes∗ Keren Censor-Hillel† Hagit Attiya‡ Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Analysis of algorithms Time complexity Big O notation Theoretical computer science Computational complexity theory Applied mathematics
435	Sublinear-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs Marc Lelarge1,2 and Hang Zhou1 1 Ecole ´ Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2014-01-18 08:40:12 Analysis of algorithms Time complexity Algorithm Matching Theoretical computer science Computational complexity theory Applied mathematics
436	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
437	A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-12 01:21:32 Complexity classes Cryptography Probabilistic complexity theory Circuit complexity IP Commitment scheme NP Randomized algorithm XTR Theoretical computer science Computational complexity theory Applied mathematics
438	EPISTEMOLOGICAL IMPLICATIONS OF ECONOMIC COMPLEXITY Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:10 Structure Economic theories Ethology Macroeconomics Computational complexity theory Complex systems Complexity J. Barkley Rosser Jr. Economic model Complex systems theory Systems Science
439	Theoretical Justification of Popular Link Prediction Heuristics Purnamrita Sarkar Carnegie Mellon University Deepayan Chakrabarti Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-03-01 02:05:39 Network theory Shortest path problem Randomized algorithm Connectivity Graph theory Networks Theoretical computer science Mathematics Computational complexity theory
440	Newton’s Method Steve Smale The expression is a mathematical description of Newton’s Method. Long before Newton, the concept already was used by the Greeks for finding the square root of a positive number. Since Newt Add to Reading List Source URL: www.gregkucera.com Language: English - Date: 2015-01-07 20:36:16 Applied mathematics Polynomial Computational complexity theory NP-complete Fundamental theorem of algebra Algorithm Carl Friedrich Gauss NP P Mathematics Theoretical computer science Complexity classes

UPDATE